Ideal language philosophy